--使用命令行创建一个名为stream.oreders的消息队列
-- 1.参数列表
--1.1优惠券ID
local voucherId = ARGV[1]
--1.2用户ID
local userId = ARGV[2]
-- 1.3 订单ID
local orderId = ARGV[3]
--2.数据key
--2.1库存key
local stockKey = 'seckill:stock:' .. voucherId
--2.2订单key
local orderKey = 'seckill:order:' .. voucherId
--3.业务逻辑
--3.1判断库存是否充足
-- redis.call('get',stockKey)中取出的值是String类型，需要将其转化成int类型，调用tonumber()方法
if  (tonumber(redis.call('get', stockKey))<= 0) then
    --3.2. 库存不足 返回1
    return 1
end
--3.3判断用户是否重复下单
if (redis.call('sismember', orderKey, userId) == 1) then
    --3.4. 重复下单 返回2
    return 2
end
--3.5扣减库存
redis.call('incrby', stockKey, -1)
--3.6记录订单
redis.call('sadd', orderKey, userId)
--3.7发送消息到队列中，xadd stream.orders * k1 v1 ...
redis.call('xadd', 'stream.orders', '*', 'userId', userId, 'voucherId', voucherId, 'id', orderId)
return 0